ModAs - Effiziente Implementierung funktionaler Programmiersprachen
Projektleitung und Mitarbeiter
Klaeren, H. (Prof. Dr. rer. nat.), Thiemann, P. (Dr. rer. nat.)
Forschungsbericht :
1990-1992
Tel./ Fax.:
Projektbeschreibung
Funktionale Programmiersprachen werden zunehmend wichtiger wegen ihrer positiven
Eigenschaften in bezug auf Verstaendlichkeit und Beweisbarkeit der
Programmkorrektheit. Leider sind gegenwaertige Implementierungen
haeufig wenig effizient, was der Verbreitung funktionaler Sprachen
entgegensteht. Im ModAs-Projekt werden anhand der Sprache SRDL in
mehreren experimentellen Compilern fortschrittliche Methoden der
Implementierung unter weitgehender Elimination von Rekursion
erprobt. Die Methoden lassen sich auch auf andere funktionale Spachen
wie etwa HOPE oder ML uebertragen.
Mittelgeber
Publikationen
Thiemann, P.: Konzepte zur
effizienten Implementierung strukturell-rekursiver Programme. -
Dissertation, Tuebingen 1991.
INDEX
HOME
SUCHEN
KONTAKT
LINKS
qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de)
- Stand: 15.09.96
Copyright Hinweise